|
|
Správa nahrávání aplikací na ARM zařízení
Hrvol, Marek ; Smrčka, Aleš (oponent) ; Kočí, Radek (vedoucí práce)
Záměrem práce je usnadnění nasazování Internetu věcí v domácnostech nebo malých firmách a také zvýšit udržitelnost vytvořené sítě. Webová aplikace slouží ke správě aplikací napříč ARM jedno-deskovými zařízeními. Umožňuje nahrávat aplikace přímo na zaregistrovaná zařízení, poskytuje ucelený, intuitivní náhled všech dostupných zařízení. Dále zaznamenává stav těchto zařízení, zobrazuje potřebná data o zařízení a informuje o případném selhání některého ze zařízení.
|
|
|
Server for Continuous Integration
Šajdík, Michal ; Fiedor, Tomáš (oponent) ; Lengál, Ondřej (vedoucí práce)
This work contains description about the following topics: what kind of technologies and principles are needed for creation of a continuous integration server, already existing solutions, why there is a need to create a new one, and how to integrate continuous integration server which was created during this work, based on the information mentioned in this work, to a working environment. This work also shows effects and some side effects of correct and incorrect configuration of the mentioned continuous integration server. Mentioned continuous integration server is also able to run on MS Windows 10 and Linux without need to adapt a configuration for a specific operating system.
|
|
|
Herní portál v Cloudu
Rozsypálek, Václav ; Maliulin, Valerii (oponent) ; Škoda, Petr (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a implementací herního portálu v cloudu pro jednoho vybraného poskytovatele Platformy jako služby (PaaS). Stěžejní částí této práce je výběr vhodných technologií a jejich využití v rámci návrhu a implementace herního portálu. Na základě výsledků testování zátěže a škálovatelnosti je sepsán závěr.
|
|
|
Modul pro transformaci dat pro digitální úřední desky
Leonov, Martin ; Burget, Radek (oponent) ; Rychlý, Marek (vedoucí práce)
Cílem této práce bylo navrhnout a implementovat aplikaci umožňující univerzální přístup k datům ze systémů elektronické spisové služby a jejich následnou transformaci do jednotného formátu. Ze získaných poznatků o těchto systémech byly navrženy rozhraní pro stahování, ukládání a transformaci dat. Výsledky této práce poskytují uživatelskou konfiguraci a jednoduchou integraci nových zdrojů dat. Funkčnost byla ověřována nástroji pro průběžnou integraci a průběžné nasazení.
|
|
|
Informační systém pro ubytovací služby
Bargl, Vojtěch ; Burget, Radek (oponent) ; Rychlý, Marek (vedoucí práce)
Tato bakalářské práce se zabývá mikroservnisní architekturou. Hlavními cíli této práce je analýza architektury mikroslužeb, porovnání s architekturou monolitu a vytvoření ukázkového informačního systému za pomoci konceptů odhalené z architektury mikroslužeb. Tato práce vnáší pohled na objem práce, který tato architektura obnáší. Systém je uzpůsobený na správu apartmánů, uživatelů a rezervací. Text práce se zabývá nejdůležitějšími faktory získané z analýzy této archiktektury, procesem specifikace domény ubytovacích služeb a vývojem samotného systému za pomoci uplatnění těchto konceptů.
|
|
|
Ověřování parametrických vlastností nad záznamy běhů programů
Čaládi, Filip ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Plogchecker 2.0 je nástroj zameraný na verifikáciu užívatelom definovaných vlastností nad sekvenciou udalostí generovaných programom. Implementácia tohoto nástroja stavá hlavne na už implementovanom nástroji Plogchecker. Hlavná mýšlienka týchto nástrojov je, že užívatel musí špecifikovať želané vlastnosti (parametrické alebo neparametrické), sprístupniť záznam behu programu verifikačnému nástroju a konečne prenechať analýzu na tento nástroj. Výstup analýzy je report o porušení špecifikovaných vlastností spolu so sekvenciami udalostí, ktoré spôsobili chybu. Táto práca predstavuje nový algoritmus , ktorý optimalizuje spracovanie sekvenie udalostí nad užívatelom definovanými vlastnosťami. Táto optimalizácia sa zameriava ako na škálovatelnosť tak aj presnosť. Ďalej, je pridaná podpora pre rôzne dátové typy parametrov, ako napríklad reťazec, číslo, dátum a čas. Nakoniec, táto práca ponúka jednoduchší a pohodlnejší spôsob vytvárania parametických vlastností. Počas experimentovania bolo ukázané, že Plogchecker 2.0 je schopný väčšej škálovatelnosti a presnosti.
|
|
|
Analysis of webserver and domain security
Dvonč, Tomáš ; Lieskovan, Tomáš (oponent) ; Ilgner, Petr (vedoucí práce)
The aim of the bachelor thesis was to analyze the security of web and e-mail servers. The work consists of three parts. The first part describes communication protocols and explains the basic difference between them. The second part describes the history of development of cryptographic protocols which are used to encrypt communication, prevent data capture and manipulation. Furthermore, the security architecture is presented, the way the client-server communication is implemented and the concept of the certification authority is clarified. In addition, the various security mechanisms that provide reliable communication over the Internet will be described. In the third part the main focus is to create a program that would automatically test the security features of the enclosed domain set. The Application was created in the Golang programming language using Docker. The result is security analysis statistics and security errors detection. Based on the data obtained, the user will be provided with current the security status of web and email servers.
|
|
|
Kvalitní vizualizace Petriho sítí pro publikační účely
Bednář, Drahoslav ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce řeší problém grafické vizualizace Petriho sítí v textových publikacích. Cílem práce je vytvoření nástroje, který usnadní generování obrázků Petriho sítí a zároveň zajistí estetičtější grafický výstup, než dokáží existující postupy a nástroje. Byl použit simplexový algoritmus pro automatické rozložení uzlů sítě. Program má grafické rozhraní i textový režim a dokáže spolupracovat se známými mástroji pro práci s Petriho sítěmi, které text také zmiňuje. Program je schopný načíst soubor ve formátu pnml a vyprodukovat použitelný obrázek ve formátech png, pdf a svg.
|
|
| |
|
|
Ověřování parametrických vlastností nad záznamy běhů programů
Čaládi, Filip ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Plogchecker 2.0 je nástroj zameraný na verifikáciu užívatelom definovaných vlastností nad sekvenciou udalostí generovaných programom. Implementácia tohoto nástroja stavá hlavne na už implementovanom nástroji Plogchecker. Hlavná mýšlienka týchto nástrojov je, že užívatel musí špecifikovať želané vlastnosti (parametrické alebo neparametrické), sprístupniť záznam behu programu verifikačnému nástroju a konečne prenechať analýzu na tento nástroj. Výstup analýzy je report o porušení špecifikovaných vlastností spolu so sekvenciami udalostí, ktoré spôsobili chybu. Táto práca predstavuje nový algoritmus , ktorý optimalizuje spracovanie sekvenie udalostí nad užívatelom definovanými vlastnosťami. Táto optimalizácia sa zameriava ako na škálovatelnosť tak aj presnosť. Ďalej, je pridaná podpora pre rôzne dátové typy parametrov, ako napríklad reťazec, číslo, dátum a čas. Nakoniec, táto práca ponúka jednoduchší a pohodlnejší spôsob vytvárania parametických vlastností. Počas experimentovania bolo ukázané, že Plogchecker 2.0 je schopný väčšej škálovatelnosti a presnosti.
|
host ::
RSS.